[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 69, 70, 71, 72, 73, 74, 75, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 162, 164, 165, 166, 168, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 199, 201, 203, 204, 205, 206, 207, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 269, 270, 271, 272, 273, 274, 275, 277, 278, 279, 280, 281, 282, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 356, 357, 358, 359, 360, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 388, 389, 390, 391 }

B grade: { 208, 233, 355, 361, 393 }

C grade: { 35, 36, 66, 67, 68, 76, 161, 163, 167, 169, 198, 200, 232, 267, 268, 276, 283, 383, 384, 386 }

F grade: { 202, 385, 387, 392}

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 89, 90, 91, 92, 93, 94, 96, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 122, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 239, 240, 241, 242, 243, 247, 248, 249, 250, 251, 255, 256, 257, 258, 259, 263, 264, 265, 266, 267, 271, 272, 273, 274, 275, 279, 280, 281, 282, 283, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338 }

B grade: { 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 95, 97, 121, 123, 244, 245, 246, 252, 253, 254, 260, 261, 262, 268, 269, 270, 276, 277, 278, 284, 285, 286, 287 }

C grade: { 26, 27, 28, 29, 30, 31, 32, 33 }

F grade: { 34, 35, 36, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 89, 90, 91, 92, 93, 94, 98, 99, 100, 101, 102, 103, 107, 108, 109, 110, 111, 112, 116, 117, 118, 119, 120, 124, 125, 126, 127, 128, 132, 133, 134, 135, 136, 288, 289, 290, 291, 292, 293, 297, 298, 299, 300, 301, 302, 306, 307, 308, 309, 310, 311, 315, 316, 317, 318, 319, 323, 324, 325, 326, 327, 331, 332, 333, 334, 335

B grade: { 35, 36, 95, 96, 97, 104, 105, 106, 113, 114, 115, 121, 122, 123, 129, 130, 131, 137, 138, 139, 294, 295, 296, 303, 304, 305, 312, 313, 314, 320, 321, 322, 328, 329, 330, 336, 337, 338 }

C grade: { }

F grade: { 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 24, 25, 35, 36, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338 }

B grade: { 12 }

C grade: { }

F grade: { 16, 17, 18, 19, 20, 21, 22, 23, 26, 27, 28, 29, 30, 31, 32, 33, 34, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 9, 10, 11 }

B grade: { }

C grade: { }

F grade: { 5, 6, 7, 8, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 }

B grade: { }

C grade: { }

F grade: { 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 133 94 101 207 199 126
normalized size 1 1. 1.45 1.02 1.1 2.25 2.16 1.37
time (sec) N/A 0.071 0.049 0.044 1.069 1.648 34.283 1.15
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 101 74 81 162 151 103
normalized size 1 1. 1.4 1.03 1.12 2.25 2.1 1.43
time (sec) N/A 0.066 0.027 0.037 1.048 1.616 11.133 1.177
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 71 54 58 113 105 77
normalized size 1 1. 1.42 1.08 1.16 2.26 2.1 1.54
time (sec) N/A 0.052 0.018 0.04 1.043 1.626 3.173 1.131
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 50 33 46 69 56 46
normalized size 1 1. 1.67 1.1 1.53 2.3 1.87 1.53
time (sec) N/A 0.023 0.015 0.039 1.011 1.651 0.717 1.16
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 35 32 51 107 0 54
normalized size 1 1. 1.46 1.33 2.12 4.46 0. 2.25
time (sec) N/A 0.031 0.016 0.059 1.031 1.692 0. 1.203
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 48 59 78 192 0 81
normalized size 1 1. 1.2 1.48 1.95 4.8 0. 2.02
time (sec) N/A 0.037 0.028 0.064 1.071 1.705 0. 1.189
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 54 98 131 243 0 132
normalized size 1 1. 0.77 1.4 1.87 3.47 0. 1.89
time (sec) N/A 0.047 0.115 0.079 1.035 1.667 0. 1.239
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 75 138 170 293 0 163
normalized size 1 1. 0.77 1.41 1.73 2.99 0. 1.66
time (sec) N/A 0.06 0.3 0.067 1.067 1.73 0. 1.203
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 93 106 176 216 354 117
normalized size 1 1. 0.79 0.91 1.5 1.85 3.03 1.
time (sec) N/A 0.067 0.156 0.037 1.565 1.697 19.178 1.151
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 68 86 139 167 258 92
normalized size 1 1. 0.76 0.97 1.56 1.88 2.9 1.03
time (sec) N/A 0.053 0.096 0.052 1.586 1.657 6.598 1.161
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 45 65 99 119 158 58
normalized size 1 1. 0.74 1.07 1.62 1.95 2.59 0.95
time (sec) N/A 0.041 0.086 0.037 1.683 1.608 1.72 1.122
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 21 27 76 0 27
normalized size 1 1. 1. 1.4 1.8 5.07 0. 1.8
time (sec) N/A 0.024 0.009 0.064 1.495 1.593 0. 1.163
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 36 35 36 95 0 46
normalized size 1 1. 0.84 0.81 0.84 2.21 0. 1.07
time (sec) N/A 0.038 0.087 0.067 1.091 1.545 0. 1.154
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 61 58 58 140 0 77
normalized size 1 1. 0.94 0.89 0.89 2.15 0. 1.18
time (sec) N/A 0.044 0.201 0.07 1.019 1.689 0. 1.156
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 81 78 81 188 0 107
normalized size 1 1. 0.93 0.9 0.93 2.16 0. 1.23
time (sec) N/A 0.05 0.302 0.069 1.013 1.609 0. 1.193
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 88 324 0 0 0 0
normalized size 1 1. 0.78 2.87 0. 0. 0. 0.
time (sec) N/A 0.082 0.404 3.893 0. 0. 0. 0.
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 86 296 0 0 0 0
normalized size 1 1. 0.76 2.62 0. 0. 0. 0.
time (sec) N/A 0.083 0.367 3.369 0. 0. 0. 0.
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 70 261 0 0 0 0
normalized size 1 1. 0.91 3.39 0. 0. 0. 0.
time (sec) N/A 0.06 0.131 3.912 0. 0. 0. 0.
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 58 236 0 0 0 0
normalized size 1 1. 0.77 3.15 0. 0. 0. 0.
time (sec) N/A 0.057 0.149 3.829 0. 0. 0. 0.
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 57 216 0 0 0 0
normalized size 1 1. 0.77 2.92 0. 0. 0. 0.
time (sec) N/A 0.062 0.148 4.411 0. 0. 0. 0.
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 58 294 0 0 0 0
normalized size 1 1. 0.74 3.77 0. 0. 0. 0.
time (sec) N/A 0.064 0.212 3.996 0. 0. 0. 0.
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 81 601 0 0 0 0
normalized size 1 1. 0.7 5.23 0. 0. 0. 0.
time (sec) N/A 0.087 0.264 9.671 0. 0. 0. 0.
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 77 413 0 0 0 0
normalized size 1 1. 0.67 3.59 0. 0. 0. 0.
time (sec) N/A 0.09 0.375 7.382 0. 0. 0. 0.
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 23 99 0 51 0 0
normalized size 1 1. 1.1 4.71 0. 2.43 0. 0.
time (sec) N/A 0.023 0.056 1.698 0. 1.582 0. 0.
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 21 99 0 51 0 0
normalized size 1 1. 1. 4.71 0. 2.43 0. 0.
time (sec) N/A 0.023 0.057 2.026 0. 1.623 0. 0.
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 78 249 0 0 0 0
normalized size 1 1. 0.68 2.17 0. 0. 0. 0.
time (sec) N/A 0.125 0.808 0.6 0. 0. 0. 0.
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 79 668 0 0 0 0
normalized size 1 1. 0.69 5.81 0. 0. 0. 0.
time (sec) N/A 0.134 0.467 0.648 0. 0. 0. 0.
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 58 199 0 0 0 0
normalized size 1 1. 0.74 2.55 0. 0. 0. 0.
time (sec) N/A 0.096 0.221 0.587 0. 0. 0. 0.
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 55 590 0 0 0 0
normalized size 1 1. 0.74 7.97 0. 0. 0. 0.
time (sec) N/A 0.096 0.141 0.513 0. 0. 0. 0.
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 58 190 0 0 0 0
normalized size 1 1. 0.77 2.53 0. 0. 0. 0.
time (sec) N/A 0.1 0.128 0.652 0. 0. 0. 0.
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 61 608 0 0 0 0
normalized size 1 1. 0.79 7.9 0. 0. 0. 0.
time (sec) N/A 0.099 0.232 0.592 0. 0. 0. 0.
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 79 241 0 0 0 0
normalized size 1 1. 0.69 2.1 0. 0. 0. 0.
time (sec) N/A 0.133 0.525 0.533 0. 0. 0. 0.
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 81 636 0 0 0 0
normalized size 1 1. 0.7 5.53 0. 0. 0. 0.
time (sec) N/A 0.128 0.623 0.547 0. 0. 0. 0.
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 114 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.072 0.173 1.754 0. 0. 0. 0.
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F B A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 113 0 236 81 0 0
normalized size 1 1. 3.65 0. 7.61 2.61 0. 0.
time (sec) N/A 0.042 0.193 1.934 2.218 1.395 0. 0.
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F B A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 119 0 236 80 0 0
normalized size 1 1. 3.72 0. 7.38 2.5 0. 0.
time (sec) N/A 0.05 0.198 1.523 2.159 1.328 0. 0.
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 88 322 0 0 0 0
normalized size 1 1. 0.79 2.88 0. 0. 0. 0.
time (sec) N/A 0.099 0.304 3.27 0. 0. 0. 0.
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 89 294 0 0 0 0
normalized size 1 1. 0.81 2.67 0. 0. 0. 0.
time (sec) N/A 0.092 0.332 3.734 0. 0. 0. 0.
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 70 261 0 0 0 0
normalized size 1 1. 0.91 3.39 0. 0. 0. 0.
time (sec) N/A 0.055 0.08 3.621 0. 0. 0. 0.
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 59 237 0 0 0 0
normalized size 1 1. 0.81 3.25 0. 0. 0. 0.
time (sec) N/A 0.073 0.133 2.95 0. 0. 0. 0.
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 55 214 0 0 0 0
normalized size 1 1. 0.8 3.1 0. 0. 0. 0.
time (sec) N/A 0.088 0.201 3.233 0. 0. 0. 0.
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 56 292 0 0 0 0
normalized size 1 1. 0.74 3.84 0. 0. 0. 0.
time (sec) N/A 0.089 0.174 4.084 0. 0. 0. 0.
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 84 598 0 0 0 0
normalized size 1 1. 0.76 5.44 0. 0. 0. 0.
time (sec) N/A 0.114 0.307 8.442 0. 0. 0. 0.
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 83 411 0 0 0 0
normalized size 1 1. 0.73 3.64 0. 0. 0. 0.
time (sec) N/A 0.114 0.48 7.637 0. 0. 0. 0.
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 91 324 0 0 0 0
normalized size 1 1. 0.83 2.95 0. 0. 0. 0.
time (sec) N/A 0.093 0.242 3.417 0. 0. 0. 0.
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 86 296 0 0 0 0
normalized size 1 1. 0.76 2.62 0. 0. 0. 0.
time (sec) N/A 0.081 0.067 3.625 0. 0. 0. 0.
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 71 263 0 0 0 0
normalized size 1 1. 0.95 3.51 0. 0. 0. 0.
time (sec) N/A 0.08 0.066 3.659 0. 0. 0. 0.
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 61 239 0 0 0 0
normalized size 1 1. 0.8 3.14 0. 0. 0. 0.
time (sec) N/A 0.105 0.082 3.189 0. 0. 0. 0.
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 57 216 0 0 0 0
normalized size 1 1. 0.79 3. 0. 0. 0. 0.
time (sec) N/A 0.098 0.137 4.014 0. 0. 0. 0.
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 58 294 0 0 0 0
normalized size 1 1. 0.74 3.77 0. 0. 0. 0.
time (sec) N/A 0.099 0.17 3.707 0. 0. 0. 0.
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 84 599 0 0 0 0
normalized size 1 1. 0.74 5.3 0. 0. 0. 0.
time (sec) N/A 0.127 0.229 8.875 0. 0. 0. 0.
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 83 413 0 0 0 0
normalized size 1 1. 0.72 3.59 0. 0. 0. 0.
time (sec) N/A 0.123 0.304 7. 0. 0. 0. 0.
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 88 324 0 0 0 0
normalized size 1 1. 0.78 2.87 0. 0. 0. 0.
time (sec) N/A 0.08 0.063 3.396 0. 0. 0. 0.
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 87 296 0 0 0 0
normalized size 1 1. 0.78 2.64 0. 0. 0. 0.
time (sec) N/A 0.109 0.075 4.09 0. 0. 0. 0.
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 73 263 0 0 0 0
normalized size 1 1. 0.94 3.37 0. 0. 0. 0.
time (sec) N/A 0.096 0.053 3.398 0. 0. 0. 0.
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 65 239 0 0 0 0
normalized size 1 1. 0.83 3.06 0. 0. 0. 0.
time (sec) N/A 0.092 0.154 3.631 0. 0. 0. 0.
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 57 216 0 0 0 0
normalized size 1 1. 0.77 2.92 0. 0. 0. 0.
time (sec) N/A 0.097 0.134 3.762 0. 0. 0. 0.
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 58 294 0 0 0 0
normalized size 1 1. 0.74 3.77 0. 0. 0. 0.
time (sec) N/A 0.097 0.171 3.911 0. 0. 0. 0.
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 80 601 0 0 0 0
normalized size 1 1. 0.7 5.23 0. 0. 0. 0.
time (sec) N/A 0.121 0.226 9.168 0. 0. 0. 0.
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 83 413 0 0 0 0
normalized size 1 1. 0.72 3.59 0. 0. 0. 0.
time (sec) N/A 0.127 0.392 7.737 0. 0. 0. 0.
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 94 349 0 0 0 0
normalized size 1 1. 0.64 2.37 0. 0. 0. 0.
time (sec) N/A 0.126 0.375 3.71 0. 0. 0. 0.
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 83 321 0 0 0 0
normalized size 1 1. 0.72 2.79 0. 0. 0. 0.
time (sec) N/A 0.093 0.395 3.267 0. 0. 0. 0.
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 77 293 0 0 0 0
normalized size 1 1. 0.69 2.62 0. 0. 0. 0.
time (sec) N/A 0.089 0.234 3.243 0. 0. 0. 0.
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 73 260 0 0 0 0
normalized size 1 1. 0.91 3.25 0. 0. 0. 0.
time (sec) N/A 0.063 0.066 3.135 0. 0. 0. 0.
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 58 236 0 0 0 0
normalized size 1 1. 0.77 3.15 0. 0. 0. 0.
time (sec) N/A 0.054 0.119 3.214 0. 0. 0. 0.
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 200 213 0 0 0 0
normalized size 1 1. 2.82 3. 0. 0. 0. 0.
time (sec) N/A 0.076 1.236 3.432 0. 0. 0. 0.
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 73 73 141 291 0 0 0 0
normalized size 1 1. 1.93 3.99 0. 0. 0. 0.
time (sec) N/A 0.089 1.425 3.503 0. 0. 0. 0.
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 522 601 0 0 0 0
normalized size 1 1. 4.66 5.37 0. 0. 0. 0.
time (sec) N/A 0.112 6.281 9.168 0. 0. 0. 0.
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 74 412 0 0 0 0
normalized size 1 1. 0.67 3.75 0. 0. 0. 0.
time (sec) N/A 0.123 0.365 7.625 0. 0. 0. 0.
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 97 729 0 0 0 0
normalized size 1 1. 0.66 4.96 0. 0. 0. 0.
time (sec) N/A 0.151 0.796 10.628 0. 0. 0. 0.
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 86 324 0 0 0 0
normalized size 1 1. 0.75 2.82 0. 0. 0. 0.
time (sec) N/A 0.091 0.4 3.818 0. 0. 0. 0.
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 80 296 0 0 0 0
normalized size 1 1. 0.7 2.57 0. 0. 0. 0.
time (sec) N/A 0.088 0.252 3.627 0. 0. 0. 0.
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 69 263 0 0 0 0
normalized size 1 1. 0.86 3.29 0. 0. 0. 0.
time (sec) N/A 0.071 0.164 3.815 0. 0. 0. 0.
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 61 239 0 0 0 0
normalized size 1 1. 0.78 3.06 0. 0. 0. 0.
time (sec) N/A 0.068 0.138 3.462 0. 0. 0. 0.
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 57 216 0 0 0 0
normalized size 1 1. 0.77 2.92 0. 0. 0. 0.
time (sec) N/A 0.088 0.113 3.459 0. 0. 0. 0.
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 75 75 140 294 0 0 0 0
normalized size 1 1. 1.87 3.92 0. 0. 0. 0.
time (sec) N/A 0.084 1.416 3.602 0. 0. 0. 0.
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 81 601 0 0 0 0
normalized size 1 1. 0.72 5.32 0. 0. 0. 0.
time (sec) N/A 0.132 0.272 8.447 0. 0. 0. 0.
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 77 413 0 0 0 0
normalized size 1 1. 0.69 3.69 0. 0. 0. 0.
time (sec) N/A 0.148 0.36 7.003 0. 0. 0. 0.
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 86 324 0 0 0 0
normalized size 1 1. 0.75 2.82 0. 0. 0. 0.
time (sec) N/A 0.112 0.394 3.361 0. 0. 0. 0.
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 80 296 0 0 0 0
normalized size 1 1. 0.7 2.57 0. 0. 0. 0.
time (sec) N/A 0.103 0.239 3.497 0. 0. 0. 0.
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 69 263 0 0 0 0
normalized size 1 1. 0.86 3.29 0. 0. 0. 0.
time (sec) N/A 0.07 0.157 3.615 0. 0. 0. 0.
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 61 239 0 0 0 0
normalized size 1 1. 0.78 3.06 0. 0. 0. 0.
time (sec) N/A 0.066 0.126 3.711 0. 0. 0. 0.
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 57 216 0 0 0 0
normalized size 1 1. 0.77 2.92 0. 0. 0. 0.
time (sec) N/A 0.071 0.115 3.707 0. 0. 0. 0.
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 58 294 0 0 0 0
normalized size 1 1. 0.74 3.77 0. 0. 0. 0.
time (sec) N/A 0.066 0.186 3.767 0. 0. 0. 0.
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 81 601 0 0 0 0
normalized size 1 1. 0.72 5.37 0. 0. 0. 0.
time (sec) N/A 0.107 0.092 8.561 0. 0. 0. 0.
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 77 413 0 0 0 0
normalized size 1 1. 0.68 3.65 0. 0. 0. 0.
time (sec) N/A 0.122 0.295 7.829 0. 0. 0. 0.
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 81 601 0 0 0 0
normalized size 1 1. 0.7 5.23 0. 0. 0. 0.
time (sec) N/A 0.092 0.085 9.02 0. 0. 0. 0.
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 77 413 0 0 0 0
normalized size 1 1. 0.67 3.59 0. 0. 0. 0.
time (sec) N/A 0.116 0.092 7.634 0. 0. 0. 0.
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 70 70 150 170 0 0
normalized size 1 1. 0.6 0.6 1.29 1.47 0. 0.
time (sec) N/A 0.059 0.223 0.461 2.107 1.485 0. 0.
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 67 88 101 549 0 0
normalized size 1 1. 0.59 0.78 0.89 4.86 0. 0.
time (sec) N/A 0.073 0.169 0.489 2.051 1.747 0. 0.
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 52 47 77 126 0 0
normalized size 1 1. 0.7 0.64 1.04 1.7 0. 0.
time (sec) N/A 0.038 0.086 0.379 2.037 1.392 0. 0.
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 52 54 70 459 0 0
normalized size 1 1. 0.58 0.6 0.78 5.1 0. 0.
time (sec) N/A 0.023 0.073 0.428 1.897 1.719 0. 0.
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 44 55 108 554 0 0
normalized size 1 1. 0.65 0.81 1.59 8.15 0. 0.
time (sec) N/A 0.039 0.046 0.415 2.067 1.749 0. 0.
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 45 45 108 518 0 0
normalized size 1 1. 0.76 0.76 1.83 8.78 0. 0.
time (sec) N/A 0.031 0.066 0.377 1.89 1.688 0. 0.
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 59 134 983 591 0 0
normalized size 1 1. 0.76 1.72 12.6 7.58 0. 0.
time (sec) N/A 0.043 0.098 0.411 2.143 1.722 0. 0.
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 51 54 473 128 0 0
normalized size 1 1. 0.65 0.68 5.99 1.62 0. 0.
time (sec) N/A 0.044 0.178 0.397 2.124 1.436 0. 0.
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 80 214 3129 687 0 0
normalized size 1 1. 0.66 1.75 25.65 5.63 0. 0.
time (sec) N/A 0.065 0.262 0.334 2.507 1.805 0. 0.
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 70 70 158 182 0 0
normalized size 1 1. 0.59 0.59 1.33 1.53 0. 0.
time (sec) N/A 0.058 0.244 0.303 2.112 1.52 0. 0.
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 67 88 111 568 0 0
normalized size 1 1. 0.58 0.76 0.96 4.9 0. 0.
time (sec) N/A 0.057 0.184 0.515 2.065 1.679 0. 0.
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 53 47 81 134 0 0
normalized size 1 1. 0.7 0.62 1.07 1.76 0. 0.
time (sec) N/A 0.033 0.031 0.356 2.07 1.473 0. 0.
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 52 54 74 467 0 0
normalized size 1 1. 0.56 0.58 0.8 5.02 0. 0.
time (sec) N/A 0.03 0.095 0.25 1.863 1.779 0. 0.
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 44 55 112 562 0 0
normalized size 1 1. 0.63 0.79 1.6 8.03 0. 0.
time (sec) N/A 0.033 0.056 0.226 2.017 1.76 0. 0.
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 45 45 108 527 0 0
normalized size 1 1. 0.74 0.74 1.77 8.64 0. 0.
time (sec) N/A 0.032 0.06 0.228 1.829 1.615 0. 0.
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 59 134 1027 599 0 0
normalized size 1 1. 0.74 1.68 12.84 7.49 0. 0.
time (sec) N/A 0.04 0.111 0.27 2.122 1.669 0. 0.
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 52 54 479 134 0 0
normalized size 1 1. 0.64 0.67 5.91 1.65 0. 0.
time (sec) N/A 0.048 0.143 0.262 2.087 1.352 0. 0.
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 81 214 3286 701 0 0
normalized size 1 1. 0.65 1.71 26.29 5.61 0. 0.
time (sec) N/A 0.062 0.205 0.266 2.558 1.641 0. 0.
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 70 70 171 190 0 0
normalized size 1 1. 0.56 0.56 1.37 1.52 0. 0.
time (sec) N/A 0.062 0.277 0.408 2.117 1.423 0. 0.
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 67 88 124 582 0 0
normalized size 1 1. 0.55 0.72 1.02 4.77 0. 0.
time (sec) N/A 0.054 0.18 0.431 2.135 1.722 0. 0.
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 52 47 86 139 0 0
normalized size 1 1. 0.65 0.59 1.08 1.74 0. 0.
time (sec) N/A 0.034 0.133 0.261 2.142 1.351 0. 0.
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 52 54 80 475 0 0
normalized size 1 1. 0.53 0.55 0.81 4.8 0. 0.
time (sec) N/A 0.026 0.108 0.234 1.974 1.67 0. 0.
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 44 55 117 570 0 0
normalized size 1 1. 0.59 0.74 1.58 7.7 0. 0.
time (sec) N/A 0.037 0.08 0.221 2.082 1.752 0. 0.
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 45 45 108 535 0 0
normalized size 1 1. 0.69 0.69 1.66 8.23 0. 0.
time (sec) N/A 0.033 0.076 0.21 1.829 1.621 0. 0.
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 59 134 1108 608 0 0
normalized size 1 1. 0.7 1.6 13.19 7.24 0. 0.
time (sec) N/A 0.045 0.101 0.27 2.277 1.668 0. 0.
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 51 54 495 139 0 0
normalized size 1 1. 0.6 0.64 5.82 1.64 0. 0.
time (sec) N/A 0.052 0.218 0.42 2.124 1.441 0. 0.
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 80 214 3594 714 0 0
normalized size 1 1. 0.61 1.63 27.44 5.45 0. 0.
time (sec) N/A 0.064 0.216 0.231 2.691 1.734 0. 0.
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 67 88 101 560 0 0
normalized size 1 1. 0.59 0.78 0.89 4.96 0. 0.
time (sec) N/A 0.059 0.133 0.506 2.122 1.806 0. 0.
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 52 47 77 128 0 0
normalized size 1 1. 0.7 0.64 1.04 1.73 0. 0.
time (sec) N/A 0.032 0.086 0.394 2.71 1.387 0. 0.
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 52 54 70 470 0 0
normalized size 1 1. 0.58 0.6 0.78 5.22 0. 0.
time (sec) N/A 0.025 0.063 0.421 2.48 1.631 0. 0.
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 44 55 108 559 0 0
normalized size 1 1. 0.65 0.81 1.59 8.22 0. 0.
time (sec) N/A 0.035 0.045 0.47 2.954 1.767 0. 0.
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 45 45 115 525 0 0
normalized size 1 1. 0.76 0.76 1.95 8.9 0. 0.
time (sec) N/A 0.035 0.047 0.452 2.382 1.669 0. 0.
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 59 135 983 597 0 0
normalized size 1 1. 0.76 1.73 12.6 7.65 0. 0.
time (sec) N/A 0.047 0.08 0.534 2.994 1.761 0. 0.
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 51 54 479 131 0 0
normalized size 1 1. 0.65 0.68 6.06 1.66 0. 0.
time (sec) N/A 0.061 0.11 0.396 2.634 1.488 0. 0.
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 80 214 3129 693 0 0
normalized size 1 1. 0.66 1.75 25.65 5.68 0. 0.
time (sec) N/A 0.07 0.153 0.422 3.008 1.76 0. 0.
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 67 88 101 566 0 0
normalized size 1 1. 0.55 0.72 0.83 4.64 0. 0.
time (sec) N/A 0.059 0.129 0.362 3.202 1.765 0. 0.
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 52 47 77 131 0 0
normalized size 1 1. 0.65 0.59 0.96 1.64 0. 0.
time (sec) N/A 0.034 0.094 0.245 2.879 1.412 0. 0.
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 52 54 70 475 0 0
normalized size 1 1. 0.53 0.55 0.71 4.8 0. 0.
time (sec) N/A 0.028 0.077 0.273 2.567 1.661 0. 0.
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 44 55 108 564 0 0
normalized size 1 1. 0.59 0.74 1.46 7.62 0. 0.
time (sec) N/A 0.039 0.05 0.374 2.792 1.716 0. 0.
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 45 45 126 531 0 0
normalized size 1 1. 0.69 0.69 1.94 8.17 0. 0.
time (sec) N/A 0.033 0.055 0.414 2.917 1.678 0. 0.
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 59 134 994 602 0 0
normalized size 1 1. 0.7 1.6 11.83 7.17 0. 0.
time (sec) N/A 0.045 0.072 0.345 2.792 1.632 0. 0.
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 51 54 513 134 0 0
normalized size 1 1. 0.6 0.64 6.04 1.58 0. 0.
time (sec) N/A 0.054 0.129 0.276 3.03 1.397 0. 0.
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 80 214 3173 698 0 0
normalized size 1 1. 0.61 1.63 24.22 5.33 0. 0.
time (sec) N/A 0.067 0.156 0.283 3.055 2.019 0. 0.
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 70 88 101 566 0 0
normalized size 1 1. 0.57 0.72 0.83 4.64 0. 0.
time (sec) N/A 0.064 0.101 0.353 3.014 2.057 0. 0.
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 55 47 77 131 0 0
normalized size 1 1. 0.69 0.59 0.96 1.64 0. 0.
time (sec) N/A 0.033 0.062 0.256 2.694 1.645 0. 0.
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 55 54 70 475 0 0
normalized size 1 1. 0.56 0.55 0.71 4.8 0. 0.
time (sec) N/A 0.027 0.058 0.279 2.459 1.986 0. 0.
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 47 55 108 564 0 0
normalized size 1 1. 0.64 0.74 1.46 7.62 0. 0.
time (sec) N/A 0.035 0.045 0.345 2.84 1.774 0. 0.
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 45 45 126 531 0 0
normalized size 1 1. 0.69 0.69 1.94 8.17 0. 0.
time (sec) N/A 0.033 0.055 0.417 2.542 1.641 0. 0.
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 59 135 1018 602 0 0
normalized size 1 1. 0.7 1.61 12.12 7.17 0. 0.
time (sec) N/A 0.042 0.074 0.392 2.924 1.663 0. 0.
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 51 54 556 134 0 0
normalized size 1 1. 0.6 0.64 6.54 1.58 0. 0.
time (sec) N/A 0.047 0.112 0.256 2.931 1.341 0. 0.
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 80 214 3264 698 0 0
normalized size 1 1. 0.61 1.63 24.92 5.33 0. 0.
time (sec) N/A 0.062 0.121 0.246 2.647 1.736 0. 0.
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 96 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.071 0.112 0.408 0. 0. 0. 0.
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 91 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.072 0.167 0.362 0. 0. 0. 0.
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 88 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.056 0.112 0.27 0. 0. 0. 0.
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 88 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.076 0.125 0.346 0. 0. 0. 0.
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 88 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.093 0.163 0.346 0. 0. 0. 0.
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 96 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.095 0.117 0.454 0. 0. 0. 0.
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 96 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.07 0.11 0.354 0. 0. 0. 0.
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 91 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.07 0.166 0.306 0. 0. 0. 0.
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 88 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.058 0.115 0.269 0. 0. 0. 0.
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 88 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.091 0.121 0.339 0. 0. 0. 0.
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 88 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.105 0.159 0.398 0. 0. 0. 0.
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 96 0 0 0 0 0
normalized size 1 1. 1.07 0. 0. 0. 0. 0.
time (sec) N/A 0.1 0.125 0.409 0. 0. 0. 0.
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 96 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.07 0.262 0.349 0. 0. 0. 0.
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 91 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.07 0.164 0.309 0. 0. 0. 0.
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 88 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.059 0.147 0.277 0. 0. 0. 0.
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 89 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.075 0.068 0.374 0. 0. 0. 0.
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 90 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.095 0.103 0.361 0. 0. 0. 0.
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 90 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.098 0.163 0.393 0. 0. 0. 0.
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 96 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.068 0.111 0.299 0. 0. 0. 0.
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 91 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.067 0.107 0.382 0. 0. 0. 0.
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 87 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.055 0.088 0.237 0. 0. 0. 0.
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 283 0 0 0 0 0
normalized size 1 1. 3.14 0. 0. 0. 0. 0.
time (sec) N/A 0.077 3.57 0.302 0. 0. 0. 0.
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 101 0 0 0 0 0
normalized size 1 1. 1.11 0. 0. 0. 0. 0.
time (sec) N/A 0.092 0.764 0.335 0. 0. 0. 0.
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 404 0 0 0 0 0
normalized size 1 1. 4.39 0. 0. 0. 0. 0.
time (sec) N/A 0.097 5.986 0.379 0. 0. 0. 0.
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 96 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.068 0.12 0.319 0. 0. 0. 0.
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 91 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.064 0.112 0.343 0. 0. 0. 0.
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 87 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.061 0.11 0.252 0. 0. 0. 0.
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 277 0 0 0 0 0
normalized size 1 1. 3.08 0. 0. 0. 0. 0.
time (sec) N/A 0.081 3.649 0.329 0. 0. 0. 0.
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 103 0 0 0 0 0
normalized size 1 1. 1.11 0. 0. 0. 0. 0.
time (sec) N/A 0.101 0.675 0.352 0. 0. 0. 0.
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 402 0 0 0 0 0
normalized size 1 1. 4.37 0. 0. 0. 0. 0.
time (sec) N/A 0.101 6.13 0.398 0. 0. 0. 0.
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 96 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.067 0.193 0.348 0. 0. 0. 0.
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 90 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.066 0.092 0.326 0. 0. 0. 0.
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 87 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.062 0.146 0.234 0. 0. 0. 0.
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 104 0 0 0 0 0
normalized size 1 1. 1.16 0. 0. 0. 0. 0.
time (sec) N/A 0.081 0.654 0.331 0. 0. 0. 0.
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 90 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.1 0.208 0.333 0. 0. 0. 0.
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 91 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.105 0.209 0.393 0. 0. 0. 0.
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 138 142 0 0 0 0 0
normalized size 1 0.93 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.113 0.279 0.309 0. 0. 0. 0.
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 146 136 142 0 0 0 0 0
normalized size 1 0.93 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.117 0.211 0.306 0. 0. 0. 0.
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 146 136 142 0 0 0 0 0
normalized size 1 0.93 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.108 0.3 0.302 0. 0. 0. 0.
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 146 136 142 0 0 0 0 0
normalized size 1 0.93 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.105 0.271 0.302 0. 0. 0. 0.
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 144 144 142 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.104 0.241 0.283 0. 0. 0. 0.
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 139 142 0 0 0 0 0
normalized size 1 0.93 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.122 0.258 0.283 0. 0. 0. 0.
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 144 144 132 0 0 0 0 0
normalized size 1 1. 0.92 0. 0. 0. 0. 0.
time (sec) N/A 0.112 0.239 2.474 0. 0. 0. 0.
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 122 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.105 0.2 1.911 0. 0. 0. 0.
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 120 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.103 0.176 1.463 0. 0. 0. 0.
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 114 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.072 0.163 1.42 0. 0. 0. 0.
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 111 0 0 0 0 0
normalized size 1 1. 1.11 0. 0. 0. 0. 0.
time (sec) N/A 0.094 0.227 1.338 0. 0. 0. 0.
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 117 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.119 0.195 1.25 0. 0. 0. 0.
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 114 0 0 0 0 0
normalized size 1 1. 0.91 0. 0. 0. 0. 0.
time (sec) N/A 0.132 0.155 1.506 0. 0. 0. 0.
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 127 122 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.126 0.158 1.289 0. 0. 0. 0.
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 132 140 0 0 0 0 0
normalized size 1 0.93 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.112 0.214 0.605 0. 0. 0. 0.
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 132 140 0 0 0 0 0
normalized size 1 0.93 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.11 0.191 0.582 0. 0. 0. 0.
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 132 140 0 0 0 0 0
normalized size 1 0.93 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.106 0.17 0.606 0. 0. 0. 0.
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 140 140 140 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.102 0.17 0.74 0. 0. 0. 0.
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 136 136 140 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.1 0.164 0.702 0. 0. 0. 0.
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 140 132 140 0 0 0 0 0
normalized size 1 0.94 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.113 0.166 0.612 0. 0. 0. 0.
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 132 140 0 0 0 0 0
normalized size 1 0.93 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.115 0.173 0.631 0. 0. 0. 0.
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 132 140 0 0 0 0 0
normalized size 1 0.93 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.113 0.171 0.644 0. 0. 0. 0.
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 170 170 242 0 0 0 0 0
normalized size 1 1. 1.42 0. 0. 0. 0. 0.
time (sec) N/A 0.209 1.413 1.687 0. 0. 0. 0.
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 175 0 0 0 0 0
normalized size 1 1. 1.3 0. 0. 0. 0. 0.
time (sec) N/A 0.168 0.793 0.371 0. 0. 0. 0.
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 240 0 0 0 0 0
normalized size 1 1. 1.78 0. 0. 0. 0. 0.
time (sec) N/A 0.161 0.838 0.302 0. 0. 0. 0.
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 144 0 0 0 0 0
normalized size 1 1. 1.07 0. 0. 0. 0. 0.
time (sec) N/A 0.161 0.441 0.28 0. 0. 0. 0.
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 138 138 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.177 0.134 0.286 0. 0. 0. 0.
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 277 277 279 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.356 2.594 0.283 0. 0. 0. 0.
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 277 277 276 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.311 2.514 0.27 0. 0. 0. 0.
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 274 274 256 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.31 1.691 0.286 0. 0. 0. 0.
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 272 272 256 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.314 1.827 0.271 0. 0. 0. 0.
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 211 211 119 0 0 0 0 0
normalized size 1 1. 0.56 0. 0. 0. 0. 0.
time (sec) N/A 0.251 0.339 1.404 0. 0. 0. 0.
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 285 285 10836 0 0 0 0 0
normalized size 1 1. 38.02 0. 0. 0. 0. 0.
time (sec) N/A 0.343 26.187 1.402 0. 0. 0. 0.
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 118 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.135 0.252 1.489 0. 0. 0. 0.
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 140 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.128 0.388 0.417 0. 0. 0. 0.
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 140 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.132 0.368 0.312 0. 0. 0. 0.
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 140 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.133 0.541 0.336 0. 0. 0. 0.
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 140 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.129 0.429 0.336 0. 0. 0. 0.
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 140 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.123 0.424 0.352 0. 0. 0. 0.
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 173 173 140 0 0 0 0 0
normalized size 1 1. 0.81 0. 0. 0. 0. 0.
time (sec) N/A 0.131 0.351 0.382 0. 0. 0. 0.
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 167 167 136 0 0 0 0 0
normalized size 1 1. 0.81 0. 0. 0. 0. 0.
time (sec) N/A 0.164 0.338 2.434 0. 0. 0. 0.
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 120 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.162 0.465 2.171 0. 0. 0. 0.
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 120 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.155 0.277 1.759 0. 0. 0. 0.
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 118 0 0 0 0 0
normalized size 1 1. 0.84 0. 0. 0. 0. 0.
time (sec) N/A 0.138 0.226 1.421 0. 0. 0. 0.
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 112 0 0 0 0 0
normalized size 1 1. 0.79 0. 0. 0. 0. 0.
time (sec) N/A 0.157 0.158 1.625 0. 0. 0. 0.
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 132 132 109 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.166 0.185 1.261 0. 0. 0. 0.
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 131 131 109 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.171 0.177 1.461 0. 0. 0. 0.
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 118 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.183 0.158 1.709 0. 0. 0. 0.
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 138 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.135 0.253 0.691 0. 0. 0. 0.
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 138 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.128 0.393 0.653 0. 0. 0. 0.
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 138 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.124 0.317 0.646 0. 0. 0. 0.
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 138 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.128 0.237 0.788 0. 0. 0. 0.
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 138 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.13 0.22 0.779 0. 0. 0. 0.
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 133 0 0 0 0 0
normalized size 1 1. 0.82 0. 0. 0. 0. 0.
time (sec) N/A 0.133 0.246 0.765 0. 0. 0. 0.
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 138 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.127 0.213 0.729 0. 0. 0. 0.
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 138 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.124 0.214 0.731 0. 0. 0. 0.
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 173 173 356 0 0 0 0 0
normalized size 1 1. 2.06 0. 0. 0. 0. 0.
time (sec) N/A 0.209 45.803 1.662 0. 0. 0. 0.
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 295 295 13480 0 0 0 0 0
normalized size 1 1. 45.69 0. 0. 0. 0. 0.
time (sec) N/A 0.363 26.346 1.539 0. 0. 0. 0.
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 284 284 290 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.344 2.799 0.293 0. 0. 0. 0.
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 284 284 289 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.335 2.754 0.379 0. 0. 0. 0.
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 281 281 263 0 0 0 0 0
normalized size 1 1. 0.94 0. 0. 0. 0. 0.
time (sec) N/A 0.323 2.031 0.335 0. 0. 0. 0.
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 281 281 261 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.327 2.128 0.303 0. 0. 0. 0.
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 187 187 142 0 0 0 0 0
normalized size 1 1. 0.76 0. 0. 0. 0. 0.
time (sec) N/A 0.161 0.277 1.463 0. 0. 0. 0.
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 125 382 0 0 0 0
normalized size 1 1. 0.6 1.83 0. 0. 0. 0.
time (sec) N/A 0.242 1. 4.052 0. 0. 0. 0.
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 180 180 111 351 0 0 0 0
normalized size 1 1. 0.62 1.95 0. 0. 0. 0.
time (sec) N/A 0.204 0.754 3.873 0. 0. 0. 0.
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 94 317 0 0 0 0
normalized size 1 1. 0.65 2.19 0. 0. 0. 0.
time (sec) N/A 0.152 0.329 3.611 0. 0. 0. 0.
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 83 283 0 0 0 0
normalized size 1 1. 0.74 2.53 0. 0. 0. 0.
time (sec) N/A 0.154 0.206 3.71 0. 0. 0. 0.
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 78 259 0 0 0 0
normalized size 1 1. 0.72 2.38 0. 0. 0. 0.
time (sec) N/A 0.187 0.275 3.895 0. 0. 0. 0.
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 140 140 90 505 0 0 0 0
normalized size 1 1. 0.64 3.61 0. 0. 0. 0.
time (sec) N/A 0.215 0.362 8.23 0. 0. 0. 0.
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 181 181 122 804 0 0 0 0
normalized size 1 1. 0.67 4.44 0. 0. 0. 0.
time (sec) N/A 0.248 0.553 10.465 0. 0. 0. 0.
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 143 725 0 0 0 0
normalized size 1 1. 0.68 3.45 0. 0. 0. 0.
time (sec) N/A 0.269 0.916 12.198 0. 0. 0. 0.
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 210 210 128 384 0 0 0 0
normalized size 1 1. 0.61 1.83 0. 0. 0. 0.
time (sec) N/A 0.232 0.876 3.683 0. 0. 0. 0.
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F(-1)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 181 181 108 353 0 0 0 0
normalized size 1 1. 0.6 1.95 0. 0. 0. 0.
time (sec) N/A 0.183 0.094 3.533 0. 0. 0. 0.
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 146 146 95 319 0 0 0 0
normalized size 1 1. 0.65 2.18 0. 0. 0. 0.
time (sec) N/A 0.175 0.232 3.819 0. 0. 0. 0.
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 85 285 0 0 0 0
normalized size 1 1. 0.73 2.46 0. 0. 0. 0.
time (sec) N/A 0.178 0.165 3.479 0. 0. 0. 0.
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 80 261 0 0 0 0
normalized size 1 1. 0.7 2.29 0. 0. 0. 0.
time (sec) N/A 0.185 0.251 3.801 0. 0. 0. 0.
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 92 506 0 0 0 0
normalized size 1 1. 0.63 3.49 0. 0. 0. 0.
time (sec) N/A 0.211 0.295 8.06 0. 0. 0. 0.
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 186 186 122 805 0 0 0 0
normalized size 1 1. 0.66 4.33 0. 0. 0. 0.
time (sec) N/A 0.241 0.484 9.945 0. 0. 0. 0.
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 215 215 134 727 0 0 0 0
normalized size 1 1. 0.62 3.38 0. 0. 0. 0.
time (sec) N/A 0.269 1.616 11.725 0. 0. 0. 0.
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 125 384 0 0 0 0
normalized size 1 1. 0.59 1.81 0. 0. 0. 0.
time (sec) N/A 0.201 0.243 3.772 0. 0. 0. 0.
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 183 183 109 353 0 0 0 0
normalized size 1 1. 0.6 1.93 0. 0. 0. 0.
time (sec) N/A 0.21 0.1 3.893 0. 0. 0. 0.
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 151 151 97 319 0 0 0 0
normalized size 1 1. 0.64 2.11 0. 0. 0. 0.
time (sec) N/A 0.193 0.196 3.619 0. 0. 0. 0.
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 79 285 0 0 0 0
normalized size 1 1. 0.66 2.38 0. 0. 0. 0.
time (sec) N/A 0.17 0.194 3.121 0. 0. 0. 0.
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 80 261 0 0 0 0
normalized size 1 1. 0.69 2.25 0. 0. 0. 0.
time (sec) N/A 0.19 0.269 3.858 0. 0. 0. 0.
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 92 508 0 0 0 0
normalized size 1 1. 0.63 3.46 0. 0. 0. 0.
time (sec) N/A 0.223 0.277 9.055 0. 0. 0. 0.
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 121 807 0 0 0 0
normalized size 1 1. 0.64 4.29 0. 0. 0. 0.
time (sec) N/A 0.25 0.37 11.293 0. 0. 0. 0.
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 217 217 134 727 0 0 0 0
normalized size 1 1. 0.62 3.35 0. 0. 0. 0.
time (sec) N/A 0.268 0.912 11.339 0. 0. 0. 0.
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 214 214 127 381 0 0 0 0
normalized size 1 1. 0.59 1.78 0. 0. 0. 0.
time (sec) N/A 0.221 0.676 3.726 0. 0. 0. 0.
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 185 185 108 350 0 0 0 0
normalized size 1 1. 0.58 1.89 0. 0. 0. 0.
time (sec) N/A 0.194 0.623 3.917 0. 0. 0. 0.
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 150 150 97 316 0 0 0 0
normalized size 1 1. 0.65 2.11 0. 0. 0. 0.
time (sec) N/A 0.156 0.182 3.245 0. 0. 0. 0.
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 82 282 0 0 0 0
normalized size 1 1. 0.7 2.41 0. 0. 0. 0.
time (sec) N/A 0.124 0.086 3.313 0. 0. 0. 0.
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 110 110 803 258 0 0 0 0
normalized size 1 1. 7.3 2.35 0. 0. 0. 0.
time (sec) N/A 0.16 6.282 3.992 0. 0. 0. 0.
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 139 139 757 508 0 0 0 0
normalized size 1 1. 5.45 3.65 0. 0. 0. 0.
time (sec) N/A 0.203 6.297 8.132 0. 0. 0. 0.
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 180 180 116 807 0 0 0 0
normalized size 1 1. 0.64 4.48 0. 0. 0. 0.
time (sec) N/A 0.231 0.426 10.779 0. 0. 0. 0.
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 209 209 133 726 0 0 0 0
normalized size 1 1. 0.64 3.47 0. 0. 0. 0.
time (sec) N/A 0.259 0.656 11.517 0. 0. 0. 0.
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 217 217 130 384 0 0 0 0
normalized size 1 1. 0.6 1.77 0. 0. 0. 0.
time (sec) N/A 0.221 0.714 3.568 0. 0. 0. 0.
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 108 353 0 0 0 0
normalized size 1 1. 0.57 1.88 0. 0. 0. 0.
time (sec) N/A 0.201 0.624 3.393 0. 0. 0. 0.
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 94 319 0 0 0 0
normalized size 1 1. 0.61 2.08 0. 0. 0. 0.
time (sec) N/A 0.161 0.341 3.703 0. 0. 0. 0.
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 85 285 0 0 0 0
normalized size 1 1. 0.71 2.38 0. 0. 0. 0.
time (sec) N/A 0.141 0.165 3.579 0. 0. 0. 0.
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 80 261 0 0 0 0
normalized size 1 1. 0.69 2.25 0. 0. 0. 0.
time (sec) N/A 0.141 0.177 3.946 0. 0. 0. 0.
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C B F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 144 144 761 508 0 0 0 0
normalized size 1 1. 5.28 3.53 0. 0. 0. 0.
time (sec) N/A 0.192 6.264 7.868 0. 0. 0. 0.
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 183 183 119 807 0 0 0 0
normalized size 1 1. 0.65 4.41 0. 0. 0. 0.
time (sec) N/A 0.241 0.433 10.656 0. 0. 0. 0.
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F(-1) F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 136 729 0 0 0 0
normalized size 1 1. 0.64 3.44 0. 0. 0. 0.
time (sec) N/A 0.266 0.692 11.339 0. 0. 0. 0.
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 217 217 130 384 0 0 0 0
normalized size 1 1. 0.6 1.77 0. 0. 0. 0.
time (sec) N/A 0.225 0.688 3.701 0. 0. 0. 0.
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 111 353 0 0 0 0
normalized size 1 1. 0.59 1.88 0. 0. 0. 0.
time (sec) N/A 0.196 0.591 3.27 0. 0. 0. 0.
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 97 319 0 0 0 0
normalized size 1 1. 0.63 2.08 0. 0. 0. 0.
time (sec) N/A 0.158 0.313 3.638 0. 0. 0. 0.
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 85 285 0 0 0 0
normalized size 1 1. 0.71 2.38 0. 0. 0. 0.
time (sec) N/A 0.143 0.165 3.432 0. 0. 0. 0.
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 807 261 0 0 0 0
normalized size 1 1. 6.96 2.25 0. 0. 0. 0.
time (sec) N/A 0.154 6.207 3.516 0. 0. 0. 0.
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 92 508 0 0 0 0
normalized size 1 1. 0.63 3.46 0. 0. 0. 0.
time (sec) N/A 0.163 0.377 8.615 0. 0. 0. 0.
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 185 185 119 807 0 0 0 0
normalized size 1 1. 0.64 4.36 0. 0. 0. 0.
time (sec) N/A 0.219 0.389 10.203 0. 0. 0. 0.
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 136 729 0 0 0 0
normalized size 1 1. 0.64 3.44 0. 0. 0. 0.
time (sec) N/A 0.271 0.451 10.934 0. 0. 0. 0.
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A B F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 119 807 0 0 0 0
normalized size 1 1. 0.63 4.29 0. 0. 0. 0.
time (sec) N/A 0.189 0.118 10.546 0. 0. 0. 0.
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 223 223 109 134 215 815 0 0
normalized size 1 1. 0.49 0.6 0.96 3.65 0. 0.
time (sec) N/A 0.125 0.285 0.354 2.331 2.031 0. 0.
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 184 184 92 114 157 753 0 0
normalized size 1 1. 0.5 0.62 0.85 4.09 0. 0.
time (sec) N/A 0.107 0.261 0.542 2.341 2.077 0. 0.
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 75 83 108 655 0 0
normalized size 1 1. 0.52 0.58 0.76 4.58 0. 0.
time (sec) N/A 0.06 0.185 0.468 2.265 2.009 0. 0.
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 61 63 86 591 0 0
normalized size 1 1. 0.5 0.51 0.7 4.8 0. 0.
time (sec) N/A 0.038 0.099 0.458 2.081 2.049 0. 0.
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 93 63 140 859 0 0
normalized size 1 1. 1. 0.68 1.51 9.24 0. 0.
time (sec) N/A 0.057 0.101 0.385 2.076 2.397 0. 0.
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 60 72 194 875 0 0
normalized size 1 1. 0.65 0.77 2.09 9.41 0. 0.
time (sec) N/A 0.066 0.078 0.401 2.081 2.389 0. 0.
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 69 150 1053 648 0 0
normalized size 1 1. 0.62 1.35 9.49 5.84 0. 0.
time (sec) N/A 0.104 0.143 0.43 2.302 1.976 0. 0.
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 87 157 1362 722 0 0
normalized size 1 1. 0.57 1.03 8.96 4.75 0. 0.
time (sec) N/A 0.116 0.413 0.444 2.386 1.972 0. 0.
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 193 193 110 248 3525 810 0 0
normalized size 1 1. 0.57 1.28 18.26 4.2 0. 0.
time (sec) N/A 0.117 0.336 0.348 2.666 1.993 0. 0.
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 229 229 109 134 228 853 0 0
normalized size 1 1. 0.48 0.59 1. 3.72 0. 0.
time (sec) N/A 0.127 0.317 0.293 2.33 2.07 0. 0.
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 189 189 92 114 170 778 0 0
normalized size 1 1. 0.49 0.6 0.9 4.12 0. 0.
time (sec) N/A 0.119 0.214 0.485 2.294 2.037 0. 0.
Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 76 83 116 684 0 0
normalized size 1 1. 0.52 0.56 0.79 4.65 0. 0.
time (sec) N/A 0.059 0.072 0.418 2.323 1.968 0. 0.
Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 127 127 61 63 90 605 0 0
normalized size 1 1. 0.48 0.5 0.71 4.76 0. 0.
time (sec) N/A 0.038 0.124 0.283 2.091 1.992 0. 0.
Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 93 63 144 869 0 0
normalized size 1 1. 0.97 0.66 1.5 9.05 0. 0.
time (sec) N/A 0.055 0.122 0.278 2.128 2.404 0. 0.
Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 96 96 60 72 198 886 0 0
normalized size 1 1. 0.62 0.75 2.06 9.23 0. 0.
time (sec) N/A 0.061 0.075 0.247 2.108 2.416 0. 0.
Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 69 150 1098 662 0 0
normalized size 1 1. 0.61 1.32 9.63 5.81 0. 0.
time (sec) N/A 0.087 0.136 0.263 2.347 1.992 0. 0.
Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 156 156 88 157 1409 741 0 0
normalized size 1 1. 0.56 1.01 9.03 4.75 0. 0.
time (sec) N/A 0.106 0.055 0.275 2.361 2.045 0. 0.
Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 198 198 111 248 3688 834 0 0
normalized size 1 1. 0.56 1.25 18.63 4.21 0. 0.
time (sec) N/A 0.124 0.25 0.331 2.775 2.09 0. 0.
Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 241 241 109 134 250 883 0 0
normalized size 1 1. 0.45 0.56 1.04 3.66 0. 0.
time (sec) N/A 0.128 0.319 0.303 2.319 2.123 0. 0.
Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 199 199 92 114 189 802 0 0
normalized size 1 1. 0.46 0.57 0.95 4.03 0. 0.
time (sec) N/A 0.113 0.285 0.509 2.299 2.048 0. 0.
Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 155 155 75 83 127 703 0 0
normalized size 1 1. 0.48 0.54 0.82 4.54 0. 0.
time (sec) N/A 0.061 0.248 0.325 2.293 1.994 0. 0.
Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 61 63 96 618 0 0
normalized size 1 1. 0.45 0.47 0.71 4.58 0. 0.
time (sec) N/A 0.037 0.147 0.277 2.149 1.97 0. 0.
Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 93 63 150 880 0 0
normalized size 1 1. 0.91 0.62 1.47 8.63 0. 0.
time (sec) N/A 0.061 0.149 0.253 2.074 2.451 0. 0.
Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 60 72 204 896 0 0
normalized size 1 1. 0.59 0.71 2. 8.78 0. 0.
time (sec) N/A 0.064 0.122 0.25 2.125 2.439 0. 0.
Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 69 151 1179 675 0 0
normalized size 1 1. 0.57 1.26 9.82 5.62 0. 0.
time (sec) N/A 0.097 0.138 0.262 2.377 2.022 0. 0.
Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 164 164 87 157 1501 760 0 0
normalized size 1 1. 0.53 0.96 9.15 4.63 0. 0.
time (sec) N/A 0.11 0.422 0.293 2.434 1.997 0. 0.
Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 208 208 110 248 4012 859 0 0
normalized size 1 1. 0.53 1.19 19.29 4.13 0. 0.
time (sec) N/A 0.126 0.376 0.269 2.782 2.103 0. 0.
Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 184 184 92 114 157 760 0 0
normalized size 1 1. 0.5 0.62 0.85 4.13 0. 0.
time (sec) N/A 0.139 0.222 0.524 2.335 2.087 0. 0.
Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 143 143 75 83 108 662 0 0
normalized size 1 1. 0.52 0.58 0.76 4.63 0. 0.
time (sec) N/A 0.062 0.179 0.489 2.247 2.221 0. 0.
Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 61 63 86 598 0 0
normalized size 1 1. 0.5 0.51 0.7 4.86 0. 0.
time (sec) N/A 0.033 0.088 0.452 2.283 2.021 0. 0.
Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 93 63 140 864 0 0
normalized size 1 1. 1. 0.68 1.51 9.29 0. 0.
time (sec) N/A 0.058 0.096 0.441 2.13 2.413 0. 0.
Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 60 72 201 880 0 0
normalized size 1 1. 0.65 0.77 2.16 9.46 0. 0.
time (sec) N/A 0.073 0.071 0.421 2.15 2.411 0. 0.
Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 69 150 1060 653 0 0
normalized size 1 1. 0.62 1.35 9.55 5.88 0. 0.
time (sec) N/A 0.095 0.088 0.448 2.328 2.07 0. 0.
Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 87 157 1369 728 0 0
normalized size 1 1. 0.57 1.03 9.01 4.79 0. 0.
time (sec) N/A 0.119 0.175 0.479 2.377 2.236 0. 0.
Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 193 193 110 248 3525 815 0 0
normalized size 1 1. 0.57 1.28 18.26 4.22 0. 0.
time (sec) N/A 0.118 0.22 0.523 2.52 2.377 0. 0.
Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 199 199 92 114 157 765 0 0
normalized size 1 1. 0.46 0.57 0.79 3.84 0. 0.
time (sec) N/A 0.109 0.179 0.373 2.426 2.521 0. 0.
Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 155 155 75 83 108 667 0 0
normalized size 1 1. 0.48 0.54 0.7 4.3 0. 0.
time (sec) N/A 0.06 0.169 0.313 2.334 2.052 0. 0.
Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 61 63 86 603 0 0
normalized size 1 1. 0.45 0.47 0.64 4.47 0. 0.
time (sec) N/A 0.033 0.106 0.28 2.186 1.704 0. 0.
Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 93 63 140 869 0 0
normalized size 1 1. 0.91 0.62 1.37 8.52 0. 0.
time (sec) N/A 0.06 0.105 0.377 2.198 2.102 0. 0.
Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 60 72 212 886 0 0
normalized size 1 1. 0.59 0.71 2.08 8.69 0. 0.
time (sec) N/A 0.084 0.079 0.378 2.385 2.091 0. 0.
Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 69 150 1083 659 0 0
normalized size 1 1. 0.57 1.25 9.02 5.49 0. 0.
time (sec) N/A 0.093 0.088 0.289 2.48 1.689 0. 0.
Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 164 164 87 157 1415 733 0 0
normalized size 1 1. 0.53 0.96 8.63 4.47 0. 0.
time (sec) N/A 0.124 0.149 0.3 2.461 1.681 0. 0.
Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 208 208 110 248 3591 821 0 0
normalized size 1 1. 0.53 1.19 17.26 3.95 0. 0.
time (sec) N/A 0.128 0.213 0.362 2.589 1.747 0. 0.
Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 199 199 95 114 157 765 0 0
normalized size 1 1. 0.48 0.57 0.79 3.84 0. 0.
time (sec) N/A 0.117 0.143 0.377 2.337 1.719 0. 0.
Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 155 155 78 83 108 667 0 0
normalized size 1 1. 0.5 0.54 0.7 4.3 0. 0.
time (sec) N/A 0.064 0.124 0.325 2.32 1.694 0. 0.
Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 135 135 64 63 86 603 0 0
normalized size 1 1. 0.47 0.47 0.64 4.47 0. 0.
time (sec) N/A 0.036 0.078 0.303 2.111 1.685 0. 0.
Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 96 63 140 869 0 0
normalized size 1 1. 0.94 0.62 1.37 8.52 0. 0.
time (sec) N/A 0.062 0.092 0.257 2.202 2.108 0. 0.
Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 60 72 212 886 0 0
normalized size 1 1. 0.59 0.71 2.08 8.69 0. 0.
time (sec) N/A 0.062 0.069 0.384 2.082 2.198 0. 0.
Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 120 120 69 151 1107 659 0 0
normalized size 1 1. 0.57 1.26 9.22 5.49 0. 0.
time (sec) N/A 0.092 0.094 0.404 2.342 1.717 0. 0.
Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 164 164 87 157 1482 733 0 0
normalized size 1 1. 0.53 0.96 9.04 4.47 0. 0.
time (sec) N/A 0.11 0.296 0.434 2.387 1.601 0. 0.
Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A A B A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 208 208 110 248 3726 821 0 0
normalized size 1 1. 0.53 1.19 17.91 3.95 0. 0.
time (sec) N/A 0.135 0.214 0.293 2.609 1.733 0. 0.
Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 109 0 0 0 0 0
normalized size 1 1. 0.71 0. 0. 0. 0. 0.
time (sec) N/A 0.153 0.243 0.316 0. 0. 0. 0.
Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 109 0 0 0 0 0
normalized size 1 1. 0.71 0. 0. 0. 0. 0.
time (sec) N/A 0.135 0.22 0.31 0. 0. 0. 0.
Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 109 0 0 0 0 0
normalized size 1 1. 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.156 0.221 0.378 0. 0. 0. 0.
Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 116 0 0 0 0 0
normalized size 1 1. 0.79 0. 0. 0. 0. 0.
time (sec) N/A 0.186 0.347 0.401 0. 0. 0. 0.
Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 123 0 0 0 0 0
normalized size 1 1. 0.85 0. 0. 0. 0. 0.
time (sec) N/A 0.193 0.237 0.41 0. 0. 0. 0.
Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 123 0 0 0 0 0
normalized size 1 1. 0.81 0. 0. 0. 0. 0.
time (sec) N/A 0.193 0.206 0.432 0. 0. 0. 0.
Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 111 0 0 0 0 0
normalized size 1 1. 0.72 0. 0. 0. 0. 0.
time (sec) N/A 0.15 0.352 0.322 0. 0. 0. 0.
Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 109 0 0 0 0 0
normalized size 1 1. 0.71 0. 0. 0. 0. 0.
time (sec) N/A 0.129 0.22 0.278 0. 0. 0. 0.
Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 148 148 109 0 0 0 0 0
normalized size 1 1. 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.148 0.224 0.362 0. 0. 0. 0.
Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 108 0 0 0 0 0
normalized size 1 1. 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.174 0.204 0.376 0. 0. 0. 0.
Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 145 145 117 0 0 0 0 0
normalized size 1 1. 0.81 0. 0. 0. 0. 0.
time (sec) N/A 0.193 0.229 0.421 0. 0. 0. 0.
Problem 350 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 124 0 0 0 0 0
normalized size 1 1. 0.82 0. 0. 0. 0. 0.
time (sec) N/A 0.194 0.209 0.418 0. 0. 0. 0.
Problem 351 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 114 0 0 0 0 0
normalized size 1 1. 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.146 0.27 0.319 0. 0. 0. 0.
Problem 352 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 109 0 0 0 0 0
normalized size 1 1. 0.71 0. 0. 0. 0. 0.
time (sec) N/A 0.148 0.212 0.294 0. 0. 0. 0.
Problem 353 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 108 0 0 0 0 0
normalized size 1 1. 0.7 0. 0. 0. 0. 0.
time (sec) N/A 0.123 0.142 0.246 0. 0. 0. 0.
Problem 354 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 149 149 268 0 0 0 0 0
normalized size 1 1. 1.8 0. 0. 0. 0. 0.
time (sec) N/A 0.163 6.243 0.345 0. 0. 0. 0.
Problem 355 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 145 145 699 0 0 0 0 0
normalized size 1 1. 4.82 0. 0. 0. 0. 0.
time (sec) N/A 0.174 6.305 0.375 0. 0. 0. 0.
Problem 356 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 118 0 0 0 0 0
normalized size 1 1. 0.79 0. 0. 0. 0. 0.
time (sec) N/A 0.179 0.278 0.395 0. 0. 0. 0.
Problem 357 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 114 0 0 0 0 0
normalized size 1 1. 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.143 0.336 0.427 0. 0. 0. 0.
Problem 358 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 114 0 0 0 0 0
normalized size 1 1. 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.144 0.236 0.332 0. 0. 0. 0.
Problem 359 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 154 154 111 0 0 0 0 0
normalized size 1 1. 0.72 0. 0. 0. 0. 0.
time (sec) N/A 0.14 0.205 0.297 0. 0. 0. 0.
Problem 360 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 115 0 0 0 0 0
normalized size 1 1. 0.76 0. 0. 0. 0. 0.
time (sec) N/A 0.139 0.224 0.249 0. 0. 0. 0.
Problem 361 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 147 147 703 0 0 0 0 0
normalized size 1 1. 4.78 0. 0. 0. 0. 0.
time (sec) N/A 0.168 6.271 0.36 0. 0. 0. 0.
Problem 362 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 118 0 0 0 0 0
normalized size 1 1. 0.79 0. 0. 0. 0. 0.
time (sec) N/A 0.189 0.345 0.365 0. 0. 0. 0.
Problem 363 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 232 222 169 0 0 0 0 0
normalized size 1 0.96 0.73 0. 0. 0. 0. 0.
time (sec) N/A 0.212 0.652 0.319 0. 0. 0. 0.
Problem 364 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 229 219 166 0 0 0 0 0
normalized size 1 0.96 0.72 0. 0. 0. 0. 0.
time (sec) N/A 0.213 0.425 0.313 0. 0. 0. 0.
Problem 365 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 229 219 166 0 0 0 0 0
normalized size 1 0.96 0.72 0. 0. 0. 0. 0.
time (sec) N/A 0.201 0.403 0.32 0. 0. 0. 0.
Problem 366 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 229 219 166 0 0 0 0 0
normalized size 1 0.96 0.72 0. 0. 0. 0. 0.
time (sec) N/A 0.201 0.428 0.313 0. 0. 0. 0.
Problem 367 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 227 227 164 0 0 0 0 0
normalized size 1 1. 0.72 0. 0. 0. 0. 0.
time (sec) N/A 0.233 0.402 0.328 0. 0. 0. 0.
Problem 368 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 235 225 166 0 0 0 0 0
normalized size 1 0.96 0.71 0. 0. 0. 0. 0.
time (sec) N/A 0.232 0.537 0.307 0. 0. 0. 0.
Problem 369 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 227 227 161 0 0 0 0 0
normalized size 1 1. 0.71 0. 0. 0. 0. 0.
time (sec) N/A 0.232 0.256 2.476 0. 0. 0. 0.
Problem 370 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 187 187 144 0 0 0 0 0
normalized size 1 1. 0.77 0. 0. 0. 0. 0.
time (sec) N/A 0.219 0.482 2.026 0. 0. 0. 0.
Problem 371 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 187 187 144 0 0 0 0 0
normalized size 1 1. 0.77 0. 0. 0. 0. 0.
time (sec) N/A 0.213 0.33 1.522 0. 0. 0. 0.
Problem 372 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 187 187 142 0 0 0 0 0
normalized size 1 1. 0.76 0. 0. 0. 0. 0.
time (sec) N/A 0.168 0.235 1.466 0. 0. 0. 0.
Problem 373 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 127 0 0 0 0 0
normalized size 1 1. 0.75 0. 0. 0. 0. 0.
time (sec) N/A 0.191 0.204 1.455 0. 0. 0. 0.
Problem 374 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 173 173 131 0 0 0 0 0
normalized size 1 1. 0.76 0. 0. 0. 0. 0.
time (sec) N/A 0.23 0.288 1.304 0. 0. 0. 0.
Problem 375 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 194 194 137 0 0 0 0 0
normalized size 1 1. 0.71 0. 0. 0. 0. 0.
time (sec) N/A 0.256 0.457 1.602 0. 0. 0. 0.
Problem 376 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 196 196 142 0 0 0 0 0
normalized size 1 1. 0.72 0. 0. 0. 0. 0.
time (sec) N/A 0.262 0.331 1.433 0. 0. 0. 0.
Problem 377 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 223 213 164 0 0 0 0 0
normalized size 1 0.96 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.237 0.525 0.674 0. 0. 0. 0.
Problem 378 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 223 213 164 0 0 0 0 0
normalized size 1 0.96 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.216 0.429 0.68 0. 0. 0. 0.
Problem 379 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 221 221 162 0 0 0 0 0
normalized size 1 1. 0.73 0. 0. 0. 0. 0.
time (sec) N/A 0.197 0.375 0.787 0. 0. 0. 0.
Problem 380 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 217 217 157 0 0 0 0 0
normalized size 1 1. 0.72 0. 0. 0. 0. 0.
time (sec) N/A 0.202 0.446 0.76 0. 0. 0. 0.
Problem 381 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 221 221 163 0 0 0 0 0
normalized size 1 1. 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.217 0.408 0.648 0. 0. 0. 0.
Problem 382 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 223 213 164 0 0 0 0 0
normalized size 1 0.96 0.74 0. 0. 0. 0. 0.
time (sec) N/A 0.212 0.41 0.653 0. 0. 0. 0.
Problem 383 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 183 183 557 0 0 0 0 0
normalized size 1 1. 3.04 0. 0. 0. 0. 0.
time (sec) N/A 0.248 3.666 1.628 0. 0. 0. 0.
Problem 384 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 144 144 137 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.189 0.834 0.341 0. 0. 0. 0.
Problem 385 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 144 144 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.178 0.118 0.338 0. 0. 0. 0.
Problem 386 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A C F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 144 144 105 0 0 0 0 0
normalized size 1 1. 0.73 0. 0. 0. 0. 0.
time (sec) N/A 0.176 0.586 0.312 0. 0. 0. 0.
Problem 387 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 144 144 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.197 0.196 0.315 0. 0. 0. 0.
Problem 388 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 290 290 296 0 0 0 0 0
normalized size 1 1. 1.02 0. 0. 0. 0. 0.
time (sec) N/A 0.368 3.398 0.303 0. 0. 0. 0.
Problem 389 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 290 290 294 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.337 3.424 0.292 0. 0. 0. 0.
Problem 390 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 287 287 268 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.326 2.378 0.256 0. 0. 0. 0.
Problem 391 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A A F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 286 286 266 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.324 2.39 0.277 0. 0. 0. 0.
Problem 392 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A F F F F F(-1) F
verified N/A Yes N/A TBD TBD TBD TBD TBD
size 215 215 0 0 0 0 0 0
normalized size 1 1. 0. 0. 0. 0. 0. 0.
time (sec) N/A 0.253 3.8 1.612 0. 0. 0. 0.
Problem 393 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac
grade A A B F F F F(-1) F
verified N/A Yes NO TBD TBD TBD TBD TBD
size 303 303 16189 0 0 0 0 0
normalized size 1 1. 53.43 0. 0. 0. 0. 0.
time (sec) N/A 0.375 26.839 1.438 0. 0. 0. 0.

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [241] had the largest ratio of [ 0.2121 ]

Table 2.1Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)
1 A 3 2 1. 21 0.095
2 A 3 2 1. 21 0.095
3 A 3 2 1. 21 0.095
4 A 2 1 1. 19 0.053
5 A 2 2 1. 19 0.105
6 A 2 2 1. 21 0.095
7 A 3 3 1. 21 0.143
8 A 4 3 1. 21 0.143
9 A 5 3 1. 21 0.143
10 A 4 3 1. 21 0.143
11 A 3 3 1. 21 0.143
12 A 2 2 1. 21 0.095
13 A 3 3 1. 21 0.143
14 A 3 2 1. 21 0.095
15 A 3 2 1. 21 0.095
16 A 4 4 1. 25 0.16
17 A 4 4 1. 25 0.16
18 A 3 3 1. 25 0.12
19 A 3 3 1. 25 0.12
20 A 3 3 1. 25 0.12
21 A 3 3 1. 25 0.12
22 A 4 4 1. 25 0.16
23 A 4 4 1. 25 0.16
24 A 1 1 1. 23 0.043
25 A 1 1 1. 23 0.043
26 A 5 5 1. 25 0.2
27 A 5 5 1. 25 0.2
28 A 4 4 1. 25 0.16
29 A 4 4 1. 25 0.16
30 A 4 4 1. 25 0.16
31 A 4 4 1. 25 0.16
32 A 5 5 1. 25 0.2
33 A 5 5 1. 25 0.2
34 A 2 2 1. 23 0.087
35 A 1 1 1. 33 0.03
36 A 1 1 1. 32 0.031
37 A 5 5 1. 33 0.152
38 A 5 5 1. 31 0.161
39 A 3 3 1. 25 0.12
40 A 4 4 1. 31 0.129
41 A 4 4 1. 33 0.121
42 A 4 4 1. 33 0.121
43 A 5 5 1. 33 0.152
44 A 5 5 1. 33 0.152
45 A 5 5 1. 31 0.161
46 A 4 4 1. 25 0.16
47 A 4 4 1. 31 0.129
48 A 4 4 1. 33 0.121
49 A 4 4 1. 33 0.121
50 A 4 4 1. 33 0.121
51 A 5 5 1. 33 0.152
52 A 5 5 1. 33 0.152
53 A 4 4 1. 25 0.16
54 A 5 5 1. 31 0.161
55 A 4 4 1. 33 0.121
56 A 4 4 1. 33 0.121
57 A 4 4 1. 33 0.121
58 A 4 4 1. 33 0.121
59 A 5 5 1. 33 0.152
60 A 5 5 1. 33 0.152
61 A 6 5 1. 33 0.152
62 A 5 5 1. 33 0.152
63 A 5 5 1. 33 0.152
64 A 4 4 1. 31 0.129
65 A 3 3 1. 25 0.12
66 A 4 4 1. 31 0.129
67 A 4 4 1. 33 0.121
68 A 5 5 1. 33 0.152
69 A 5 5 1. 33 0.152
70 A 6 5 1. 33 0.152
71 A 5 5 1. 33 0.152
72 A 5 5 1. 33 0.152
73 A 4 4 1. 33 0.121
74 A 4 4 1. 31 0.129
75 A 3 3 1. 25 0.12
76 A 4 4 1. 31 0.129
77 A 5 5 1. 33 0.152
78 A 5 5 1. 33 0.152
79 A 5 5 1. 33 0.152
80 A 5 5 1. 33 0.152
81 A 4 4 1. 33 0.121
82 A 4 4 1. 33 0.121
83 A 4 4 1. 31 0.129
84 A 3 3 1. 25 0.12
85 A 5 5 1. 31 0.161
86 A 5 5 1. 33 0.152
87 A 4 4 1. 25 0.16
88 A 4 4 1. 25 0.16
89 A 4 3 1. 35 0.086
90 A 4 4 1. 35 0.114
91 A 3 2 1. 35 0.057
92 A 4 3 1. 35 0.086
93 A 3 3 1. 35 0.086
94 A 3 3 1. 35 0.086
95 A 3 3 1. 35 0.086
96 A 4 4 1. 35 0.114
97 A 4 4 1. 35 0.114
98 A 4 3 1. 35 0.086
99 A 4 4 1. 35 0.114
100 A 3 2 1. 35 0.057
101 A 4 3 1. 35 0.086
102 A 3 3 1. 35 0.086
103 A 3 3 1. 35 0.086
104 A 3 3 1. 35 0.086
105 A 4 4 1. 35 0.114
106 A 4 4 1. 35 0.114
107 A 4 3 1. 35 0.086
108 A 4 4 1. 35 0.114
109 A 3 2 1. 35 0.057
110 A 4 3 1. 35 0.086
111 A 3 3 1. 35 0.086
112 A 3 3 1. 35 0.086
113 A 3 3 1. 35 0.086
114 A 4 4 1. 35 0.114
115 A 4 4 1. 35 0.114
116 A 4 4 1. 35 0.114
117 A 3 2 1. 35 0.057
118 A 4 3 1. 35 0.086
119 A 3 3 1. 35 0.086
120 A 3 3 1. 35 0.086
121 A 3 3 1. 35 0.086
122 A 4 4 1. 35 0.114
123 A 4 4 1. 35 0.114
124 A 4 4 1. 35 0.114
125 A 3 2 1. 35 0.057
126 A 4 3 1. 35 0.086
127 A 3 3 1. 35 0.086
128 A 3 3 1. 35 0.086
129 A 3 3 1. 35 0.086
130 A 4 4 1. 35 0.114
131 A 4 4 1. 35 0.114
132 A 4 4 1. 35 0.114
133 A 3 2 1. 35 0.057
134 A 4 3 1. 35 0.086
135 A 3 3 1. 35 0.086
136 A 3 3 1. 35 0.086
137 A 3 3 1. 35 0.086
138 A 4 4 1. 35 0.114
139 A 4 4 1. 35 0.114
140 A 3 3 1. 33 0.091
141 A 3 3 1. 31 0.097
142 A 2 2 1. 25 0.08
143 A 3 3 1. 31 0.097
144 A 3 3 1. 33 0.091
145 A 3 3 1. 33 0.091
146 A 3 3 1. 33 0.091
147 A 3 3 1. 31 0.097
148 A 2 2 1. 25 0.08
149 A 3 3 1. 31 0.097
150 A 3 3 1. 33 0.091
151 A 3 3 1. 33 0.091
152 A 3 3 1. 33 0.091
153 A 3 3 1. 31 0.097
154 A 2 2 1. 25 0.08
155 A 3 3 1. 31 0.097
156 A 3 3 1. 33 0.091
157 A 3 3 1. 33 0.091
158 A 3 3 1. 33 0.091
159 A 3 3 1. 31 0.097
160 A 2 2 1. 25 0.08
161 A 3 3 1. 31 0.097
162 A 3 3 1. 33 0.091
163 A 3 3 1. 33 0.091
164 A 3 3 1. 33 0.091
165 A 3 3 1. 31 0.097
166 A 2 2 1. 25 0.08
167 A 3 3 1. 31 0.097
168 A 3 3 1. 33 0.091
169 A 3 3 1. 33 0.091
170 A 3 3 1. 33 0.091
171 A 3 3 1. 31 0.097
172 A 2 2 1. 25 0.08
173 A 3 3 1. 31 0.097
174 A 3 3 1. 33 0.091
175 A 3 3 1. 33 0.091
176 A 3 3 0.93 33 0.091
177 A 3 3 0.93 33 0.091
178 A 3 3 0.93 33 0.091
179 A 3 3 0.93 33 0.091
180 A 3 3 1. 33 0.091
181 A 3 3 0.93 33 0.091
182 A 3 3 1. 33 0.091
183 A 3 3 1. 31 0.097
184 A 3 3 1. 29 0.103
185 A 2 2 1. 23 0.087
186 A 3 3 1. 29 0.103
187 A 3 3 1. 31 0.097
188 A 3 3 1. 31 0.097
189 A 3 3 1. 31 0.097
190 A 3 3 0.93 33 0.091
191 A 3 3 0.93 33 0.091
192 A 3 3 0.93 33 0.091
193 A 3 3 1. 33 0.091
194 A 3 3 1. 33 0.091
195 A 3 3 0.94 33 0.091
196 A 3 3 0.93 33 0.091
197 A 3 3 0.93 33 0.091
198 A 4 4 1. 25 0.16
199 A 4 4 1. 27 0.148
200 A 4 4 1. 27 0.148
201 A 4 4 1. 27 0.148
202 A 4 4 1. 27 0.148
203 A 8 5 1. 27 0.185
204 A 8 5 1. 27 0.185
205 A 8 5 1. 27 0.185
206 A 8 5 1. 27 0.185
207 A 7 5 1. 26 0.192
208 A 8 5 1. 25 0.2
209 A 4 3 1. 30 0.1
210 A 5 4 1. 40 0.1
211 A 5 4 1. 40 0.1
212 A 5 4 1. 40 0.1
213 A 5 4 1. 40 0.1
214 A 5 4 1. 40 0.1
215 A 5 4 1. 40 0.1
216 A 5 4 1. 40 0.1
217 A 5 4 1. 38 0.105
218 A 5 4 1. 36 0.111
219 A 4 3 1. 30 0.1
220 A 5 4 1. 36 0.111
221 A 5 4 1. 38 0.105
222 A 5 4 1. 38 0.105
223 A 5 4 1. 38 0.105
224 A 5 4 1. 40 0.1
225 A 5 4 1. 40 0.1
226 A 5 4 1. 40 0.1
227 A 5 4 1. 40 0.1
228 A 5 4 1. 40 0.1
229 A 5 4 1. 40 0.1
230 A 5 4 1. 40 0.1
231 A 5 4 1. 40 0.1
232 A 4 4 1. 32 0.125
233 A 8 5 1. 32 0.156
234 A 8 5 1. 34 0.147
235 A 8 5 1. 34 0.147
236 A 8 5 1. 34 0.147
237 A 8 5 1. 34 0.147
238 A 4 3 1. 31 0.097
239 A 10 8 1. 41 0.195
240 A 9 8 1. 39 0.205
241 A 7 7 1. 33 0.212
242 A 7 7 1. 39 0.18
243 A 7 7 1. 41 0.171
244 A 8 8 1. 41 0.195
245 A 9 8 1. 41 0.195
246 A 10 8 1. 41 0.195
247 A 10 8 1. 39 0.205
248 A 8 7 1. 33 0.212
249 A 8 8 1. 39 0.205
250 A 7 7 1. 41 0.171
251 A 7 7 1. 41 0.171
252 A 8 8 1. 41 0.195
253 A 9 8 1. 41 0.195
254 A 10 8 1. 41 0.195
255 A 9 7 1. 33 0.212
256 A 9 8 1. 39 0.205
257 A 8 8 1. 41 0.195
258 A 7 7 1. 41 0.171
259 A 7 7 1. 41 0.171
260 A 8 8 1. 41 0.195
261 A 9 8 1. 41 0.195
262 A 10 8 1. 41 0.195
263 A 10 8 1. 41 0.195
264 A 9 8 1. 41 0.195
265 A 8 8 1. 39 0.205
266 A 6 6 1. 33 0.182
267 A 7 7 1. 39 0.18
268 A 8 8 1. 41 0.195
269 A 9 8 1. 41 0.195
270 A 10 8 1. 41 0.195
271 A 10 8 1. 41 0.195
272 A 9 8 1. 41 0.195
273 A 8 8 1. 41 0.195
274 A 7 7 1. 39 0.18
275 A 6 6 1. 33 0.182
276 A 8 8 1. 39 0.205
277 A 9 8 1. 41 0.195
278 A 10 8 1. 41 0.195
279 A 10 8 1. 41 0.195
280 A 9 8 1. 41 0.195
281 A 8 8 1. 41 0.195
282 A 7 7 1. 41 0.171
283 A 7 7 1. 39 0.18
284 A 7 7 1. 33 0.212
285 A 9 8 1. 39 0.205
286 A 10 8 1. 41 0.195
287 A 8 7 1. 33 0.212
288 A 8 6 1. 43 0.14
289 A 7 6 1. 43 0.14
290 A 3 3 1. 43 0.07
291 A 5 4 1. 43 0.093
292 A 4 4 1. 43 0.093
293 A 4 4 1. 43 0.093
294 A 6 6 1. 43 0.14
295 A 7 7 1. 43 0.163
296 A 7 6 1. 43 0.14
297 A 8 6 1. 43 0.14
298 A 7 6 1. 43 0.14
299 A 3 3 1. 43 0.07
300 A 5 4 1. 43 0.093
301 A 4 4 1. 43 0.093
302 A 4 4 1. 43 0.093
303 A 6 6 1. 43 0.14
304 A 7 7 1. 43 0.163
305 A 7 6 1. 43 0.14
306 A 8 6 1. 43 0.14
307 A 7 6 1. 43 0.14
308 A 3 3 1. 43 0.07
309 A 5 4 1. 43 0.093
310 A 4 4 1. 43 0.093
311 A 4 4 1. 43 0.093
312 A 6 6 1. 43 0.14
313 A 7 7 1. 43 0.163
314 A 7 6 1. 43 0.14
315 A 7 6 1. 43 0.14
316 A 3 3 1. 43 0.07
317 A 5 4 1. 43 0.093
318 A 4 4 1. 43 0.093
319 A 4 4 1. 43 0.093
320 A 6 6 1. 43 0.14
321 A 7 7 1. 43 0.163
322 A 7 6 1. 43 0.14
323 A 7 6 1. 43 0.14
324 A 3 3 1. 43 0.07
325 A 5 4 1. 43 0.093
326 A 4 4 1. 43 0.093
327 A 4 4 1. 43 0.093
328 A 6 6 1. 43 0.14
329 A 7 7 1. 43 0.163
330 A 7 6 1. 43 0.14
331 A 7 6 1. 43 0.14
332 A 3 3 1. 43 0.07
333 A 5 4 1. 43 0.093
334 A 4 4 1. 43 0.093
335 A 4 4 1. 43 0.093
336 A 6 6 1. 43 0.14
337 A 7 7 1. 43 0.163
338 A 7 6 1. 43 0.14
339 A 5 4 1. 39 0.103
340 A 4 3 1. 33 0.091
341 A 5 4 1. 39 0.103
342 A 5 4 1. 41 0.098
343 A 5 4 1. 41 0.098
344 A 5 4 1. 41 0.098
345 A 5 4 1. 39 0.103
346 A 4 3 1. 33 0.091
347 A 5 4 1. 39 0.103
348 A 5 4 1. 41 0.098
349 A 5 4 1. 41 0.098
350 A 5 4 1. 41 0.098
351 A 5 4 1. 41 0.098
352 A 5 4 1. 39 0.103
353 A 4 3 1. 33 0.091
354 A 5 4 1. 39 0.103
355 A 5 4 1. 41 0.098
356 A 5 4 1. 41 0.098
357 A 5 4 1. 41 0.098
358 A 5 4 1. 41 0.098
359 A 5 4 1. 39 0.103
360 A 4 3 1. 33 0.091
361 A 5 4 1. 39 0.103
362 A 5 4 1. 41 0.098
363 A 5 4 0.96 41 0.098
364 A 5 4 0.96 41 0.098
365 A 5 4 0.96 41 0.098
366 A 5 4 0.96 41 0.098
367 A 5 4 1. 41 0.098
368 A 5 4 0.96 41 0.098
369 A 5 4 1. 41 0.098
370 A 5 4 1. 39 0.103
371 A 5 4 1. 37 0.108
372 A 4 3 1. 31 0.097
373 A 5 4 1. 37 0.108
374 A 5 4 1. 39 0.103
375 A 5 4 1. 39 0.103
376 A 5 4 1. 39 0.103
377 A 5 4 0.96 41 0.098
378 A 5 4 0.96 41 0.098
379 A 5 4 1. 41 0.098
380 A 5 4 1. 41 0.098
381 A 5 4 1. 41 0.098
382 A 5 4 0.96 41 0.098
383 A 4 4 1. 33 0.121
384 A 4 4 1. 35 0.114
385 A 4 4 1. 35 0.114
386 A 4 4 1. 35 0.114
387 A 4 4 1. 35 0.114
388 A 8 5 1. 35 0.143
389 A 8 5 1. 35 0.143
390 A 8 5 1. 35 0.143
391 A 8 5 1. 35 0.143
392 A 7 5 1. 35 0.143
393 A 8 5 1. 33 0.152

[next] [prev] [prev-tail] [front] [up]